(((high jumper body proportions))